[IA64] fix vmx handler fault

This patch fixes the vmx fault handler to set the fault vector
number in r19.  The r19 is used to display a fault message in
dispatch_to_fault_handler().

Signed-off-by: Akio Takebe <takebe_akio@jp.fujitsu.com>
Signed-off-by: Kazuhiro Suzuki <kaz@jp.fujitsu.com>

diff --git a/xen/arch/ia64/vmx/vmx_ivt.S b/xen/arch/ia64/vmx/vmx_ivt.S
index 2a5ee126115ff22c0e939229222068bb426f1e8a..755539c09cd37d5830f2932374725ae4af9691c4 100644 (file)
--- a/xen/arch/ia64/vmx/vmx_ivt.S
+++ b/xen/arch/ia64/vmx/vmx_ivt.S
@@ -95,6 +95,7 @@
 
 #define VMX_FAULT(n)    \
 vmx_fault_##n:;          \
+    mov r19=n;;          \
     br.sptk.many dispatch_to_fault_handler;         \
     ;;                  \
 
@@ -106,7 +107,7 @@ vmx_fault_##n:;          \
     ;;      \
     tbit.z p6,p7=r29,IA64_PSR_VM_BIT;       \
 (p7)br.sptk.many vmx_dispatch_reflection;        \
-    VMX_FAULT(n);            \
+    br.sptk.many dispatch_to_fault_handler;      \
 
 
 GLOBAL_ENTRY(vmx_panic)